منابع مشابه
Relative Truth Degree of Logic Formulas and Graded Fuzzy Logic
The concept of logic proposition induced functions is proposed in the present paper, then the concept of relative truth degree of propositions with respect to a logic theory Γ is introduced by means of infinite product of evenly distributed probability spaces and integrated semantics respectively w.r.t. discrete and continuous situations, and a graded approximate reasoning theory is established...
متن کاملFara ’ s Formula and the Supervaluational Thin Red Line
The focus of this paper is an argument presented by Fara (2010), which is against supervaluationism in the context of vagueness. I show how it applies equally to the branching-time (BT) supervaluationism (first presented in Thomason 1970), but not to the closely related ‘STRL’ semantics of Malpass & Wawer (2012).
متن کاملNegation in the Logic of First Degree Entailment and Tonk
The dialogical framework is an approach to meaning that provides an alternative to both the model-theoretical and the proof-theoretical semantics. The dialogical approach to logic is not a logic but a semantic rule-based framework where different logics could be developed, combined or compared. But are there any constraints? Can we introduce rules ad libitum to define whatever logical constant?...
متن کاملFinite-Degree Predicates and Two-Variable First-Order Logic
We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the order and finite-degree predicates are also definable with the order predicate only. From this result we derive the separation of the alternation hierarchy of two-variable logic on this signature.
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2010
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020310000237